$\forall$$D$:Dsys. $D$ $\subseteq$ $D$